-
1 inference mechanism
English-Russian electronics dictionary > inference mechanism
-
2 inference mechanism
The New English-Russian Dictionary of Radio-electronics > inference mechanism
См. также в других словарях:
ПОПУЛЯРНАЯ ИНДУКЦИЯ — умозаключение, в к ром обобщающее заключение (индуктивное обобщение) о принадлежности к. л. св ва А всем предметам данного класса U делается в силу того, что установлена принадлежность св ва А нек рой части предметов класса U, а именно тем… … Философская энциклопедия
язык — и. Исторически сложившаяся в обществе и развивающаяся звуковая (устная речь), а затем и графическая (письмо) знаковая система, способная выразить всю совокупность понятий и мыслей человека и предназначенная прежде всего для целей коммуникации… … Учебный словарь стилистических терминов
МЕТОДОЛОГИЯ — (от метод игреч. слово, понятие, учение), система принципов и способов организации и построения теоретич. и практич. деятельности, а также учение об этой системе. Первоначально М. была неявно представлена в практич. формах взаимоотношений … Философская энциклопедия
МОДАЛЬНОСТЬ — (от лат. modus мера, способ) оценка связи, устанавливаемой в высказывании, данная с той или иной т.зр. Модальная оценка выражается с помощью модальных понятий: «необходимо», «возможно», «случайно», «доказуемо», «опровержимо», «обязательно»,… … Философская энциклопедия
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
УМОЗАКЛЮЧЕНИЕ — мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением, или следствием. У. обычно подразделяют на дедуктивные и индуктивные. Заключения дедуктивных У., если… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Силлогизм — умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения посредственного, непосредственным умозаключением называется то, в котором заключение… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… … Философская энциклопедия
СИЛЛОГИЗМ — (от греч. sillogismos) опосредованное умозаключение силлогистики. Наиболее известной формой С. является т.н. простой категорический С. двухпосылочное умозаключение об отношении между двумя терминами (большим Р и меньшим S) посредством указания их … Философская энциклопедия